Spécification structurelle, fonctionnelle et déontique d'organisations dans les SMA

نویسندگان

  • Jomi Fred Hübner
  • Jaime Simão Sichman
  • Olivier Boissier
چکیده

RÉSUMÉ. Dans les approches centrées organisation des Systèmes Multi-Agents, les organisations s’intéressent généralement soit au fonctionnement, soit à la structure des agents dans le système. La combinaison de ces deux dimensions peut cependant s’avérer bénéfique pour spécifier les organisations. Le modèleMOISE– décrit dans ce papier au travers de l’exemple des robots footballeurs – vise à proposer un pas dans cette direction au travers d’une organisation considérée au travers de trois points de vue: structurel, fonctionnel et déontique.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modèle de sécurité pour le secteur de la santé

RESUME : Cet article propose un modèle de sécurité suffisamment général pour couvrir toute la diversité des systèmes d’information et de communication de la santé (SICS). L’un des objectifs de ce modèle est de favoriser l’interopérabilité de ces systèmes tout en étant suffisamment souple pour prendre en compte toute amélioration ou changement dans la politique de sécurité. Ce modèle réalise un ...

متن کامل

Conception et usage des composants métier processus pour les systèmes d'information. (Design and usage of process business components for information systems)

ion : Réutilisation : Légende : SI1 SI2 SIn te l-0 04 30 49 7, v er si on 2 4 Ja n 20 10 Chapitre 3 : Concepts de base et vue métier d’un composant métier processus 82 c) Origines de la variabilité Nous distinguons deux aspects qui peuvent être à l’origine de la variabilité représentée dans des CMP. 1. Variabilité des PM : un CMP modélise des PM similaires qui peuvent être déclinés de plusieurs...

متن کامل

Spécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems)

ion→ abstraction id of id ’{’ abstraction de types TypeDecl∗ déclarations de type Field∗ variables locales Constructor∗ constructeurs abstraits Operator∗ opérateurs abstraits ’}’ Constructor→ Type ’(’ args ’)’ sign. du constructeur concret [ abstracted as Type ’(’ args ’)’ ’{’ Body ’}’ ] version abstraite Operator→ Type id ’(’ args ’)’ sign. du operateur concret [ abstracted as Type id ’(’ args...

متن کامل

Extraction de relations dans les documents Web

Résumé. Nous présentons un système pour l’inférence de programmes d’extraction de relations dans les documents Web. Il utilise les vues textuelle et structurelle sur les documents. L’extraction des relations est incrémentale et utilise des méthodes de composition et d’enrichissement. Nous montrons que notre système est capable d’extraire des relations pour les organisations existantes dans les ...

متن کامل

J2EE Deployment: The JOnAS Case Study

RÉSUMÉ. La spécification J2EE (Java 2 platform Enterprise Edition) définit une architecture de serveur d'application Java. Jusqu'à J2EE 1.3, seuls les aspects de déploiement concernant le développeur d'applications étaient adressés. Avec J2EE 1.4, les interfaces et les étapes de déploiement ont été plus précisément spécifiées dans la spécification "J2EE Deployment". JOnAS (Java Open Application...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002